decidability problem

可判定问题

热门查询

robots　　n. [自] 机器人（robot的复数形式）
hollandaise　　adj. 荷兰式的
maki　　n. 真希（女子名，也可作为姓氏）
Demo　　n. 演示；样本唱片；示威；民主党员 n. (Demo)人名；(意、阿尔巴)德莫
revert　　n. 恢复原状者 vt. 使回复原状 vi. 回复；重提；返祖遗传；归还 n. (Revert)人名；(西)雷韦特；(法)勒韦尔
fugitive　　n. 逃亡者；难捕捉之物 adj. 逃亡的；无常的；易变的
psychopathological　　adj. 精神病理学的
runty　　adj. 矮小的；身材短小的
Lyonnais　　n. 里昂（法国东部旧省）
parapsychological　　a. parapsychology的变形
hackneyed　　adj. 陈腐的；平庸的 v. 出租（马匹、马车等）；役使（hackney的过去式）
Belinda　　n. 贝琳达（女子名）
Rutter　　n. <美><加>开辙犁; 路犁
Ephesus　　n. 以弗所(古希腊小亚细亚西岸的一重要贸易城市)
McLean　　[人名] [苏格兰人、爱尔兰人姓氏] 麦克莱恩盖尔语姓氏的英语形式，含义是“约翰之仆的儿子”(son of the servant of John); [地名] [加拿大、美国] 麦克莱恩
legitimation　　n. 合法化；承认为嫡出
Hewlett　　n. 休利特（姓氏）
bo　　abbr. 分支机构（branch office）；狐臭（Body Odor）；戏院售票房（Box Office）；原油（Base Oil）
sao　　abbr. Smithsonian Astrophysical Observatory 史密森天体物理观测台
brotherhood　　n. 兄弟关系；手足情谊；四海之内皆兄弟的信念 n. (Brotherhood)人名；(英)布拉泽胡德